1. Inicio
  2. Libros
  3. CIENCIAS
  4. LÓGICA MATEMÁTICA Y COMPUTACIONAL

LÓGICA MATEMÁTICA Y COMPUTACIONAL

TEORIA Y EJERCICIOS RESUELTOS

Autor: JIMÉNEZ DE PARGA,CARLOS

Sección: CIENCIAS - Matemáticas

LÓGICA MATEMÁTICA Y COMPUTACIONAL

LÓGICA MATEMÁTICA Y COMPUTACIONAL

19,50€ IVA INCLUIDO

Editorial:
-
Publicación:
01/09/2024
Colección:
MATEMATICAS
Ver ficha completa

NO DISPONIBLE

Sinopsis

Este manual de Lógica ofrece un curso teórico-práctico con numerosos ejemplos resueltos y ejercicios propuestos que introducirán al lector en los aspectos de esta ciencia que más han impactado en el campo del saber y en la tecnología más puntera. Los primeros capítulos están orientados a estudiantes de Filosofía en lo que respecta al arte de pensar y argumentar, mientras …

Este manual de Lógica ofrece un curso teórico-práctico con numerosos ejemplos resueltos y ejercicios propuestos que introducirán al lector en los aspectos de esta ciencia que más han impactado en el campo del saber y en la tecnología más puntera. Los primeros capítulos están orientados a estudiantes de Filosofía en lo que respecta al arte de pensar y argumentar, mientras que la obra completa es de amplia aplicación en facultades de Ingeniería, Ingeniería Informática y Ciencias Matemáticas (STEM) por el potencial para fomentar la capacidad de abstracción y razonamiento formalizado. Lógica matemática y computacional permitirá al lector profundizar en los mecanismos que constituyen la Inteligencia Artificial y la verificación formal de programas de ordenador actuales. La presente edición incluye: - Lógica proposicional: desde la definición del lenguaje hasta los sistemas deductivos, incluyendo la deducción natural. - Lógica de predicados de primer orden: con explicaciones y ejemplos sobre la semántica de las interpretaciones, las equivalencias y los sistemas deductivos, incluida la resolución. - Lógica de Hoare: explicación completa para la verificación de programas secuenciales con gran cantidad de ejercicios. - Lógica modal: desde ejemplos de tipos de relaciones hasta la deducción natural. - Lógica temporal: expone de forma didáctica cómo razonar con conceptos de tiempo.
Leer más

Más libros de JIMÉNEZ DE PARGA,CARLOS

Más información del libro

LÓGICA MATEMÁTICA Y COMPUTACIONAL

Editorial:
-
Fecha Publicación:
Formato:
Bolsillo tapa blanda
ISBN:
978-84-7360-991-3
EAN:
9788473609913
Nº páginas:
238
Colección:
MATEMATICAS
Lengua:
ESPAÑOL
Alto:
24 mm
Ancho:
17 mm
Sección:
CIENCIAS
Sub-Sección:
Matemáticas

Otros libros en CIENCIAS

También te pueden interesar